An applied λ-calculus for iteration templates
نویسنده
چکیده
Let λH be the term calculus of Howard’s system of constructive ordinals. I use this to name iteration gadgets (generalized ordinal notations). I isolate a family of higher order ordinal functions which give a partial semantics of λH. I indicate how λH provides an intrinsic measure of each ordinal below the Howard ordinal.1
منابع مشابه
Minimality in a Linear Calculus with Iteration
System L is a linear version of Gödel’s System T , where the λ-calculus is replaced with a linear calculus; or alternatively a linear λ-calculus enriched with some constructs including an iterator. There is thus at the same time in this system a lot of freedom in reduction and a lot of information about resources, which makes it an ideal framework to start a fresh attempt at studying reduction ...
متن کاملLaplace Variational Iteration Method for Modified Fractional Derivatives with Non-singular Kernel
A universal approach by Laplace transform to the variational iteration method for fractional derivatives with the nonsingular kernel is presented; in particular, the Caputo-Fabrizio fractional derivative and the Atangana-Baleanu fractional derivative with the non-singular kernel is considered. The analysis elaborated for both non-singular kernel derivatives is shown the necessity of considering...
متن کاملA New Modification of the Reconstruction of Variational Iteration Method for Solving Multi-order Fractional Differential Equations
Fractional calculus has been used to model the physical and engineering processes that have found to be best described by fractional differential equations. For that reason, we need a reliable and efficient technique for the solution of fractional differential equations. The aim of this paper is to present an analytical approximation solution for linear and nonlinear multi-order fractional diff...
متن کاملModels of the Lambda Calculus: An Introduction
The λ -calculus is a symbolic formalism for describing and calculating with functions. To give meaning to expressions in the λ -calculus they must be interpreted in terms of standard mathematical objects such as sets and functions. Each such interpretation is called a model of the λ -calculus. Because the concept of function embodied in the λ -calculus is very general—for example, a λ -calculus...
متن کاملOn Approximate Stationary Radial Solutions for a Class of Boundary Value Problems Arising in Epitaxial Growth Theory
In this paper, we consider a non-self-adjoint, singular, nonlinear fourth order boundary value problem which arises in the theory of epitaxial growth. It is possible to reduce the fourth order equation to a singular boundary value problem of second order given by w''-1/r w'=w^2/(2r^2 )+1/2 λ r^2. The problem depends on the parameter λ and admits multiple solutions. Therefore, it is difficult to...
متن کامل